Abstract Saturation-Based Inference
نویسندگان
چکیده
Saturation-Based Inference Nachum Dershowitz∗ School of Computer Science Tel-Aviv University P.O. Box 39040 Ramat Aviv, Tel-Aviv 69978 Israel Email: [email protected] Claude Kirchner LORIA & INRIA 615, rue du Jardin Botanique B.P. 101 54602 Villers-lès-Nancy Cedex France [email protected]
منابع مشابه
A New Fuzzy Sliding Mode Controller with Auto-Adjustable Saturation Boundary Layers Implemented on Vehicle Suspension
This study develops a fuzzy sliding mode controller (FSMC) based on a variable boundary layer. A fuzzy inference mechanism is used to on-line tune the thickness of the boundary layers of the controller. Minimum rule base has been used for the fuzzy inference system which results in low calculation effort. The aim of this paper is to design a controller which will eliminate the chattering of FSM...
متن کاملAutomatic 'Descente Infinie' Induction Reasoning
We present a framework and a methodology to build and analyse automatic provers using the ’Descente Infinie’ induction principle. A stronger connection between different proof techniques like those based on implicit induction and saturation is established by uniformly and explicitly representing them as applications of this principle. The framework offers a clear separation between logic and co...
متن کاملArtificial intelligence-based approaches for multi-station modelling of dissolve oxygen in river
ABSTRACT: In this study, adaptive neuro-fuzzy inference system, and feed forward neural network as two artificial intelligence-based models along with conventional multiple linear regression model were used to predict the multi-station modelling of dissolve oxygen concentration at the downstream of Mathura City in India. The data used are dissolved oxygen, pH, biological oxygen demand and water...
متن کاملCorrosion and scaling potential of the potable water in villages based on langelier saturation index, ryznar stability index, larson ratio, and saturation level
Abstract Background: corrosion and scaling are of the most important characteristics of drinking water, affecting public health and water industry economy. The aim of the present study was to evaluate the corrosion and scaling potential of potable water supplied by Saqqez Rural Water and Wastewater Company. Materials and Methods: this was a descriptive study conducted on 142 samples taken from ...
متن کامل